Unfolds ``likes notkills`` 0 THEN impR THEN Repeat (andL 1)